noinst_LTLIBRARIES = libcnfizers.la

INCLUDES=$(config_includedirs)

libcnfizers_la_SOURCES = Cnfizer.C Cnfizer.h Tseitin.C Tseitin.h
